perm filename GPROLS.LAP[TIM,LSP] blob
sn#713511 filedate 1983-05-28 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00010 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002
C00003 00003
C00005 00004
C00007 00005
C00009 00006
C00011 00007
C00012 00008
C00017 00009
C00045 00010
C00046 ENDMK
C⊗;
'(THIS IS THE LAP FOR ((DSK (TIM LSP)) GPROLS LSP))
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117)
;COMPILED ON MAY 28, 1983, AT 10:42 AM
(LAP IMPLIES SUBR)
(ARGS IMPLIES (() . 2))
(PUSH P 1)
(PUSH P 2)
(MOVEI T G0001)
(PUSH P T)
(PUSH P 1)
(EXCH 1 2)
(CALL 1 'OPPOSITE)
(PUSH P 1)
(PUSH P (% 0 0 '() ))
(PUSH P (% 0 0 '() ))
(PUSH P (% 0 0 '() ))
(PUSH P (% 0 0 '() ))
(MOVNI T 6)
(JCALL 16 'ADD-CONJUNCTION)
G0001
(SUB P (% 0 0 2 2))
(POPJ P)
()
(LAP OPPOSITE SUBR)
(ARGS OPPOSITE (() . 1))
(PUSH P 1)
(HLRZ 2 0 1)
(CAIE 2 'AND)
(JRST 0 G0002)
(HRRZ 1 0 1)
(HLRZ 1 0 1)
(CALL 1 'OPPOSITE)
(PUSH P 1)
(HRRZ 1 @ -1 P)
(HRRZ 1 0 1)
(CALL 1 'OPPOSITE)
(POP P 2)
(JSP T %XCONS)
(MOVEI 2 'OR)
(JSP T %XCONS)
(JRST 0 G0001)
G0002
(CAIE 2 'OR)
(JRST 0 G0010)
(HRRZ 1 0 1)
(HLRZ 1 0 1)
(CALL 1 'OPPOSITE)
(PUSH P 1)
(HRRZ 1 @ -1 P)
(HRRZ 1 0 1)
(CALL 1 'OPPOSITE)
(POP P 2)
(JSP T %XCONS)
(MOVEI 2 'AND)
(JSP T %XCONS)
(JRST 0 G0001)
G0010
(CAIE 2 '+)
(JRST 0 G0018)
(HRRZ 2 0 1)
(MOVEI 1 '-)
(JSP T %CONS)
(JRST 0 G0001)
G0018
(CAIE 2 '-)
(JRST 0 G0022)
(HRRZ 2 0 1)
(MOVEI 1 '+)
(JSP T %CONS)
(JRST 0 G0001)
G0022
(MOVEI 1 '() )
G0001
(SUB P (% 0 0 1 1))
(POPJ P)
()
(LAP ADD-CONJUNCTION LSUBR)
(ARGS ADD-CONJUNCTION (6 . 6))
(JSP T SPECBIND)
(-1←41 0 (SPECIAL N))
(-1←41 1 (SPECIAL P))
(-1←41 2 (SPECIAL C))
(-1←41 3 (SPECIAL D))
(JSP T SPECBIND)
(0 0 (SPECIAL REFUTED))
(MOVE 1 -5 P)
(CALL 1 'EXPAND)
(MOVE 1 -4 P)
(CALL 1 'EXPAND)
(SKIPN 1 (SPECIAL REFUTED))
(JRST 0 G0002)
(MOVEI 1 'T)
(JRST 0 G0001)
G0002
(MOVE 7 (SPECIAL D))
(LSH 7 -11)
(SKIPL 0 ST 7)
(JRST 0 G0003)
(HRRZ 3 @ (SPECIAL D))
(HLRZ 2 @ (SPECIAL D))
(HRRZ 2 0 2)
(HRRZ 2 0 2)
(HLRZ 1 @ (SPECIAL D))
(HRRZ 1 0 1)
(HLRZ 1 0 1)
(CALL 3 'SPLIT)
(JRST 0 G0001)
G0003
(MOVEI 1 '() )
G0001
(PUSHJ P UNBIND)
(SUB P (% 0 0 6 6))
(JRST 0 UNBIND)
()
(LAP SPLIT SUBR)
(ARGS SPLIT (() . 3))
(JSP T SPECBIND)
(0 3 (SPECIAL D))
(PUSH P 1)
(PUSH P 2)
(CALL 1 'OPPOSITE)
(PUSH P 1)
(MOVE 1 -1 P)
(CALL 1 'OPPOSITE)
(PUSH P 1)
(MOVEI T G0005)
(PUSH P T)
(PUSH P -2 P)
(PUSH P -4 P)
(PUSH P (SPECIAL D))
(PUSH P (SPECIAL C))
(PUSH P (SPECIAL P))
(PUSH P (SPECIAL N))
(MOVNI T 6)
(JCALL 16 'ADD-CONJUNCTION)
G0005
(JUMPE 1 G0004)
(MOVEI T G0007)
(PUSH P T)
(PUSH P -2 P)
(PUSH P -2 P)
(PUSH P (SPECIAL D))
(PUSH P (SPECIAL C))
(PUSH P (SPECIAL P))
(PUSH P (SPECIAL N))
(MOVNI T 6)
(JCALL 16 'ADD-CONJUNCTION)
G0007
(JUMPE 1 G0004)
(MOVEI T G0009)
(PUSH P T)
(PUSH P -4 P)
(PUSH P -2 P)
(PUSH P (SPECIAL D))
(PUSH P (SPECIAL C))
(PUSH P (SPECIAL P))
(PUSH P (SPECIAL N))
(MOVNI T 6)
(JCALL 16 'ADD-CONJUNCTION)
G0009
G0004
(SUB P (% 0 0 4 4))
(JRST 0 UNBIND)
()
(LAP EXPAND SUBR)
(ARGS EXPAND (() . 1))
(PUSH P 1)
(HLRZ 2 0 1)
(CAIE 2 'AND)
(JRST 0 G0002)
(MOVE 2 (SPECIAL D))
(CALL 2 'MEMBER)
(JUMPE 1 G0004)
(MOVEI 5 'T)
(MOVEM 5 (SPECIAL REFUTED))
(JRST 0 G0001)
G0004
(MOVE 2 (SPECIAL C))
(MOVE 1 0 P)
(CALL 2 'MEMBER)
(JUMPN 1 G0001)
(MOVE 2 (SPECIAL C))
(MOVE 1 0 P)
(JSP T %PDLC)
(MOVEM 1 (SPECIAL C))
(HRRZ 1 @ 0 P)
(HLRZ 1 0 1)
(CALL 1 'EXPAND)
(HRRZ 1 @ 0 P)
(HRRZ 1 0 1)
(CALL 1 'EXPAND)
(JRST 0 G0001)
G0002
(CAIE 2 'OR)
(JRST 0 G0011)
(CALL 1 'OPPOSITE)
(MOVE 3 (SPECIAL C))
(MOVE 2 (SPECIAL D))
(CALL 3 'EXTEND)
(MOVEM 1 (SPECIAL D))
(JRST 0 G0001)
G0011
(CAIE 2 '+)
(JRST 0 G0015)
(MOVE 3 (SPECIAL N))
(MOVE 2 (SPECIAL P))
(HRRZ 1 0 1)
(CALL 3 'EXTEND)
(MOVEM 1 (SPECIAL P))
(JRST 0 G0001)
G0015
(CAIE 2 '-)
(JRST 0 G0019)
(MOVE 3 (SPECIAL P))
(MOVE 2 (SPECIAL N))
(HRRZ 1 0 1)
(CALL 3 'EXTEND)
(MOVEM 1 (SPECIAL N))
(JRST 0 G0001)
G0019
G0001
(MOVEI 1 '() )
(SUB P (% 0 0 1 1))
(POPJ P)
()
(LAP EXTEND SUBR)
(ARGS EXTEND (() . 3))
(PUSH P 1)
(PUSH P 2)
(PUSH P 3)
(EXCH 2 3)
(CALL 2 'MEMBER)
(JUMPE 1 G0002)
(MOVEI 5 'T)
(MOVEM 5 (SPECIAL REFUTED))
(MOVE 1 -1 P)
(JSP T PDLNMK)
(JRST 0 G0001)
G0002
(MOVE 2 -1 P)
(MOVE 1 -2 P)
(CALL 2 'MEMBER)
(JUMPE 1 G0005)
(MOVE 1 -1 P)
(JSP T PDLNMK)
(JRST 0 G0001)
G0005
(MOVE 2 -1 P)
(MOVE 1 -2 P)
(JSP T %C2NS)
G0001
(SUB P (% 0 0 3 3))
(POPJ P)
()
(FLUSH-MACROMEMOS 'TRY 'FLUSH-MACROMEMOS)
(DEFPROP TRY |TRY MACRO| MACRO)
(LAP |TRY MACRO| SUBR)
(ARGS |TRY MACRO| (() . 1))
(COMMENT ARGLIST = (P C M))
(PUSH P 1)
(CALL 1 'MACROFETCH)
(JUMPN 1 G0002)
(MOVE 1 0 P)
(NCALL 1 'LENGTH)
(CAIN 7 4)
(JRST 0 G0004)
(MOVEI T G0006)
(PUSH P T)
(PUSH P (% 0 0 '|Wrong number args for macro|))
(PUSH P -2 P)
(MOVNI T 2)
(JCALL 16 'ERROR)
G0006
G0004
(HRRZ 1 @ 0 P)
(JSP T SPECBIND)
(0 0 (SPECIAL C))
(0 0 (SPECIAL P))
(HLRZ 2 0 1)
(MOVEM 2 (SPECIAL P))
(HRRZ 3 0 1)
(HLRZ 4 0 3)
(MOVEM 4 (SPECIAL C))
(HRRZ 5 0 3)
(HLRZ 5 0 5)
(MOVE 7 0 5)
(IDIVI 7 12)
(MOVEI 2 '((1- I)))
(JSP T FXCONS)
(JSP T %CONS)
(MOVEI 2 'I)
(JSP T %XCONS)
(JSP T %NCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(PUSH P 1)
(MOVE 1 (SPECIAL C))
(JSP T %NCONS)
(MOVE 2 (SPECIAL P))
(JSP T %XCONS)
(MOVEI 2 'IMPLIES)
(JSP T %XCONS)
(JSP T %NCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(MOVEI 2 '((= I 0) T))
(JSP T %XCONS)
(POP P 2)
(JSP T %XCONS)
(MOVEI 2 'DO)
(JSP T %XCONS)
(PUSHJ P UNBIND)
(MOVEI 3 'TRY)
(MOVEI 2 0 1)
(MOVE 1 0 P)
(CALL 3 'MACROMEMO)
G0002
(SUB P (% 0 0 1 1))
(POPJ P)
()
(*RSET (NOUUO () ))
(LAP TIMIT SUBR)
(ARGS TIMIT (() . 0))
(JSP T (0PUSH -5))
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |T↑)↑-↑)↑.↑' ↑0↑%↑2↑&↑//↑2↑-↑%↑$ ↑//↑. !|))
(MOVEI 1 '(DATE))
(CALL 17 'STATUS)
(PUSH P 1)
(MOVEI 1 '(DOW))
(CALL 17 'STATUS)
(CALL 1 'EXPLODEN)
(PUSH P 1)
(MOVEI T G0062)
(PUSH P T)
(PUSH FXP (% 0))
(PUSH P 1)
(HLRZ 1 0 1)
(PUSH P 1)
(HRRZ 1 @ -1 P)
(PUSH P 1)
(MOVEI 1 '/a)
(CALL 1 'EXPLODEN)
(HLRZ 1 0 1)
(PUSH P 1)
(MOVEI 1 'A)
(CALL 1 'EXPLODEN)
(MOVE 7 @ 0 P)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(SUB 7 10)
(MOVEM 7 0 FXP)
(MOVEI 5 0 FXP)
(PUSH P (% 0 0 '() ))
(PUSH P 5)
G0004
(SKIPE 0 -3 P)
(JRST 0 G0070)
(MOVE 1 -1 P)
(CALL 1 'NREVERSE)
(JRST 0 G0073)
G0070
(MOVE 7 @ 0 P)
(HLRZ 10 @ -3 P)
(MOVE 10 0 10)
(ADD 7 10)
(MOVE 2 -1 P)
(JSP T FXCONS)
(JSP T %CONS)
(HRRZ 2 @ -3 P)
(MOVEM 1 -1 P)
(MOVEM 2 -3 P)
(JRST 0 G0004)
G0073
(SUB P (% 0 0 4 4))
(POP P 2)
(JSP T %XCONS)
(SUB P (% 0 0 1 1))
(SUB FXP (% 0 0 1 1))
(PUSH P 1)
(PUSH P (% 0 0 '(| |)))
(HRRZ 1 @ -4 P)
(HLRZ 1 0 1)
(JSP T SPECBIND)
(0 1 (SPECIAL N))
(MOVEI 1 '/0)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(ADD 7 10)
(MOVEI 1 '/0)
(PUSH FXP 7)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 7 0 1)
(MOVE 7 0 7)
(ADD 7 10)
(JSP T FXCONS)
(JSP T %NCONS)
(MOVEI 2 0 FXP)
(JSP T %PDLXC)
(SUB FXP (% 0 0 1 1))
(PUSHJ P UNBIND)
(PUSH P 1)
(PUSH P (% 0 0 '(//)))
(HRRZ 1 @ -6 P)
(HRRZ 1 0 1)
(HLRZ 1 0 1)
(JSP T SPECBIND)
(0 1 (SPECIAL N))
(MOVEI 1 '/0)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(ADD 7 10)
(MOVEI 1 '/0)
(PUSH FXP 7)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 7 0 1)
(MOVE 7 0 7)
(ADD 7 10)
(JSP T FXCONS)
(JSP T %NCONS)
(MOVEI 2 0 FXP)
(JSP T %PDLXC)
(SUB FXP (% 0 0 1 1))
(PUSHJ P UNBIND)
(PUSH P 1)
(PUSH P (% 0 0 '(//)))
(HLRZ 1 @ -10 P)
(JSP T SPECBIND)
(0 1 (SPECIAL N))
(MOVEI 1 '/0)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(ADD 7 10)
(MOVEI 1 '/0)
(PUSH FXP 7)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 7 0 1)
(MOVE 7 0 7)
(ADD 7 10)
(JSP T FXCONS)
(JSP T %NCONS)
(MOVEI 2 0 FXP)
(JSP T %PDLXC)
(SUB FXP (% 0 0 1 1))
(PUSHJ P UNBIND)
(PUSH P 1)
(MOVNI T 7)
(JCALL 16 'APPEND)
G0062
(CALL 1 'IMPLODE)
(SUB P (% 0 0 2 2))
(CALL 1 '*PRINC)
(STRT 0 (% SIXBIT | ↑!↑4 !|))
(MOVEI 1 '(DAYTIME))
(CALL 17 'STATUS)
(PUSH P 1)
(MOVEI T G0120)
(PUSH P T)
(HLRZ 1 0 1)
(JSP T SPECBIND)
(0 1 (SPECIAL N))
(MOVEI 1 '/0)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(ADD 7 10)
(MOVEI 1 '/0)
(PUSH FXP 7)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 7 0 1)
(MOVE 7 0 7)
(ADD 7 10)
(JSP T FXCONS)
(JSP T %NCONS)
(MOVEI 2 0 FXP)
(JSP T %PDLXC)
(SUB FXP (% 0 0 1 1))
(PUSHJ P UNBIND)
(PUSH P 1)
(PUSH P (% 0 0 '(:)))
(HRRZ 1 @ -3 P)
(HLRZ 1 0 1)
(JSP T SPECBIND)
(0 1 (SPECIAL N))
(MOVEI 1 '/0)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(ADD 7 10)
(MOVEI 1 '/0)
(PUSH FXP 7)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 7 0 1)
(MOVE 7 0 7)
(ADD 7 10)
(JSP T FXCONS)
(JSP T %NCONS)
(MOVEI 2 0 FXP)
(JSP T %PDLXC)
(SUB FXP (% 0 0 1 1))
(PUSHJ P UNBIND)
(PUSH P 1)
(PUSH P (% 0 0 '(:)))
(HRRZ 1 @ -5 P)
(HRRZ 1 0 1)
(HLRZ 1 0 1)
(JSP T SPECBIND)
(0 1 (SPECIAL N))
(MOVEI 1 '/0)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 10 0 1)
(MOVE 10 0 10)
(ADD 7 10)
(MOVEI 1 '/0)
(PUSH FXP 7)
(CALL 1 'EXPLODEN)
(MOVE 7 @ (SPECIAL N))
(IDIVI 7 12)
(HLRZ 7 0 1)
(MOVE 7 0 7)
(ADD 7 10)
(JSP T FXCONS)
(JSP T %NCONS)
(MOVEI 2 0 FXP)
(JSP T %PDLXC)
(SUB FXP (% 0 0 1 1))
(PUSHJ P UNBIND)
(PUSH P 1)
(MOVNI T 5)
(JCALL 16 'APPEND)
G0120
(CALL 1 'IMPLODE)
(SUB P (% 0 0 1 1))
(CALL 1 '*PRINC)
(STRT 0 (% SIXBIT |.!|))
(JSP T (0PUSH -10))
(PUSH FXP (% 0))
(PUSH FXP (% 0))
(NCALL 0 'RUNTIME)
(MOVEM 7 -16 FXP)
(CALL 0 'DTIME)
(PUSH P 1)
(CALL 0 'TTIME)
(PUSH P 1)
(MOVEI 1 '(GCTIME))
(CALL 17 'STATUS)
(PUSH P 1)
(CALL 0 'LOADAV)
(MOVEI 5 -16 FXP)
(PUSH P (% 0 0 '0))
(PUSH P 1)
(PUSH P 5)
(PUSH P (% 0 0 '144))
G0008
(MOVE 7 @ 0 P)
(JUMPN 7 G0164)
(MOVEI 1 'T)
(JRST 0 G0166)
G0164
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(+ . A))
(MOVEI 1 '(- . A))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 0 FXP)
(MOVEI 1 0 FXP)
(MOVEM 1 0 P)
(JRST 0 G0008)
G0166
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0013
(MOVE 7 @ 0 P)
(JUMPN 7 G0168)
(MOVEI 1 'T)
(JRST 0 G0170)
G0168
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) - . B))
(MOVEI 1 '(+ . B))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -1 FXP)
(MOVEI 1 -1 FXP)
(MOVEM 1 0 P)
(JRST 0 G0013)
G0170
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0018
(MOVE 7 @ 0 P)
(JUMPN 7 G0172)
(MOVEI 1 'T)
(JRST 0 G0174)
G0172
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . TO-BE) - . TO-BE))
(MOVEI 1 '(+ . NOTHING))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -2 FXP)
(MOVEI 1 -2 FXP)
(MOVEM 1 0 P)
(JRST 0 G0018)
G0174
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0023
(MOVE 7 @ 0 P)
(JUMPN 7 G0176)
(MOVEI 1 'T)
(JRST 0 G0178)
G0176
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVEI 2 '(- . A))
(MOVEI 1 '(OR (- . A) - . A))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -3 FXP)
(MOVEI 1 -3 FXP)
(MOVEM 1 0 P)
(JRST 0 G0023)
G0178
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0028
(MOVE 7 @ 0 P)
(JUMPN 7 G0180)
(MOVEI 1 'T)
(JRST 0 G0182)
G0180
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -4 FXP)
(MOVEI 1 -4 FXP)
(MOVEM 1 0 P)
(JRST 0 G0028)
G0182
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0033
(MOVE 7 @ 0 P)
(JUMPN 7 G0184)
(MOVEI 1 'T)
(JRST 0 G0186)
G0184
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(AND (- . B) - . A))
(MOVEI 1 '(AND (- . A) - . B))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -5 FXP)
(MOVEI 1 -5 FXP)
(MOVEM 1 0 P)
(JRST 0 G0033)
G0186
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0038
(MOVE 7 @ 0 P)
(JUMPN 7 G0188)
(MOVEI 1 'T)
(JRST 0 G0190)
G0188
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . A) AND (+ . A) - . B))
(MOVEI 1 '(- . B))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -6 FXP)
(MOVEI 1 -6 FXP)
(MOVEM 1 0 P)
(JRST 0 G0038)
G0190
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0043
(MOVE 7 @ 0 P)
(JUMPN 7 G0192)
(MOVEI 1 'T)
(JRST 0 G0194)
G0192
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (- . B) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -7 FXP)
(MOVEI 1 -7 FXP)
(MOVEM 1 0 P)
(JRST 0 G0043)
G0194
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0048
(MOVE 7 @ 0 P)
(JUMPN 7 G0196)
(MOVEI 1 'T)
(JRST 0 G0198)
G0196
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (+ . B) - . C) OR (- . A) + . C))
(MOVEI 1 '(OR (- . A) + . B))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -10 FXP)
(MOVEI 1 -10 FXP)
(MOVEM 1 0 P)
(JRST 0 G0048)
G0198
(SUB P (% 0 0 1 1))
(PUSH P (% 0 0 '144))
G0053
(MOVE 7 @ 0 P)
(JUMPN 7 G0200)
(MOVEI 1 'T)
(JRST 0 G0202)
G0200
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVEI 2 '(OR (AND (- . A) - . B) + . C))
(MOVEI 1 '(AND (OR (- . A) + . C) OR (- . B) + . C))
(CALL 2 'IMPLIES)
(MOVE 7 @ 0 P)
(SUBI 7 1)
(MOVEM 7 -11 FXP)
(MOVEI 1 -11 FXP)
(MOVEM 1 0 P)
(JRST 0 G0053)
G0202
(SUB P (% 0 0 1 1))
(NCALL 0 'RUNTIME)
(SUB 7 @ 0 P)
(MOVEM 7 -15 FXP)
(MOVEI 1 -15 FXP)
(MOVEM 1 0 P)
(CALL 0 'DTIME)
(MOVE 7 0 1)
(SUB 7 @ -5 P)
(MOVEM 7 -14 FXP)
(MOVEI 1 -14 FXP)
(MOVEM 1 -5 P)
(CALL 0 'TTIME)
(MOVE 7 0 1)
(SUB 7 @ -4 P)
(MOVEM 7 -13 FXP)
(MOVEI 1 -13 FXP)
(MOVEM 1 -4 P)
(MOVEI 1 '(GCTIME))
(CALL 17 'STATUS)
(MOVE 7 0 1)
(SUB 7 @ -3 P)
(MOVEM 7 -12 FXP)
(MOVEI 1 -12 FXP)
(MOVEM 1 -3 P)
(CALL 0 'LOADAV)
(MOVEM 1 -2 P)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |C↑0↑5 (- GC) T↑)↑-↑% = !|))
(MOVE 7 @ 0 P)
(SUB 7 @ -3 P)
(JSP T IFLOAT)
(FDVR 7 (% 1000000.0))
(PUSH FLP 7)
(MOVEI 1 0 FLP)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |E↑,↑!↑0↑3↑%↑$ T↑)↑-↑% = !|))
(MOVE 7 @ -5 P)
(JSP T IFLOAT)
(FDVRI 7 206740)
(PUSH FLP 7)
(MOVEI 1 0 FLP)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |W↑(↑//↑,↑)↑.↑% T↑)↑-↑% = !|))
(MOVE 7 @ -4 P)
(JSP T IFLOAT)
(FDVRI 7 206740)
(PUSH FLP 7)
(MOVEI 1 0 FLP)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |GC T↑)↑-↑% = !|))
(MOVE 7 @ -3 P)
(JSP T IFLOAT)
(FDVR 7 (% 1000000.0))
(PUSH FLP 7)
(MOVEI 1 0 FLP)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |L↑//↑!↑$ A↑6↑%↑2↑!↑'↑% B↑%↑&↑//↑2↑% = !|))
(MOVE 1 -1 P)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |L↑//↑!↑$ A↑6↑%↑2↑!↑'↑% A↑&↑4↑%↑2 = !|))
(MOVE 1 -2 P)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(STRT 0 (% SIXBIT |A↑6↑%↑2↑!↑'↑% L↑//↑!↑$ A↑6↑%↑2↑!↑'↑% = !|))
(MOVE 7 @ -2 P)
(FADR 7 @ -1 P)
(FSC 7 -1)
(PUSH FLP 7)
(MOVEI 1 0 FLP)
(CALL 1 '*PRINC)
(CALL 0 '*TERPRI)
(SUB P (% 0 0 6 6))
(SUB FLP (% 0 0 5 5))
(SUB FXP (% 0 0 17 17))
(POPJ P)
()